ePMC

Benchmark
Model:eajs v.1 (MDP)
Parameter(s)N = 6, energy_capacity = 300, B = 13
Property:ExpUtil (exp-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files eajs.6.prism --model-input-type prism --property-input-files eajs.props --property-input-names ExpUtil --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const energy_capacity=300,B=13
Execution
Walltime:218.2992615699768s
Return code:1
Log
assertions-disabled
start-parsing	
STDERR
Unexpected error occurred during parsing: java.lang.OutOfMemoryError: Java heap space: failed reallocation of scalar replaced objects